package minsat;

/**
 * Exception which indicates a clause has become empty that is not permitted to be empty; causes
 * some sort of failure and backtracking in the MinSatz algorithm
 */
public class IllegalEmptyClauseException extends RuntimeException
{
  private static final long serialVersionUID = 1L;

  public IllegalEmptyClauseException(String string)
  {
    super(string);
  }
}
